h :: m -> n